ADAPtER: An Integrated Diagnostic System Combining Case-Based and Abductive Reasoning
نویسندگان
چکیده
The aim of this paper is to describe the ADAPtER system, a diagnostic architecture combining case-based reasoning with abductive reasoning and exploiting the adaptation of the solution of old episodes, in order to focus the reasoning process. Domain knowledge is represented via a logical model and basic mechanisms, based on abductive reasoning with consistency constraints, have been deened for solving complex diagnostic problems involving multiple faults. The model-based component has been supplemented with a case memory and adaptation mechanisms have been developed, in order to make the diagnostic system able to exploit past experience in solving new cases. A heuristic function is proposed, able to rank the solutions associated to retrieved cases with respect to the adaptation eeort needed to transform such solutions into possible solutions for the current case. We will discuss some preliminary experiments showing the validity of the above heuristic and the convenience of solving a new case by adapting a retrieved solution rather than solving the new problem from scratch.
منابع مشابه
Integration of Case Based Retrieval with a Relational Database System in Aircraft Technical Support
Cost estimation of software projects through case base reasoning p. 11 Operator decision aiding by adaptation of supervision strategies p. 23 PROFIL: A decision support tool for metallic sections design using a CBR approach p. 33 MacRad: Radiology image resource with a case-based retrieval system p. 43 Representing and indexing building refurbishment cases for multiple retrieval of adaptable pi...
متن کاملAbductive case-based reasoning
This article will introduce abductive case-based reasoning (CBR) and attempt to show that abductive CBR and deductive CBR can be integrated in clinical process and problem solving. Then it provides a unified formalization for integration of abduction, abductive CBR, deduction and deductive CBR. This article also investigates abductive case retrieval and deductive case retrieval using similarity...
متن کاملPerformance Issues in ADAPTER a Combined CBR-MBR Diagnostic Architecture
The present work describes some aspects of the diagnostic problem solving architecture of ADAPTER, a multi-modal reasoning system combining CaseBased Reasoning (CBR) and Model-Based Reasoning (MBR). In particular, some issues concerning the performance of such a combined architecture are discussed, with particular attention to the problem of maintaining under control the growth of the case memo...
متن کاملCombining Abduction with Conflict-based Diagnosis
Conflict-based diagnosis is a recently proposed probabilistic method for model-based diagnosis, inspired by consistencybased diagnosis, that uses a measure of data conflict, called the diagnostic conflict measure, to rank diagnoses. In this paper, this method is refined using an abductive method that reuses part of the computation of the diagnostic conflict measure.
متن کاملCombining Abduction and Model Checking Techniques for Repair of Concurrent Programs
Model checking is an approach to automated verification of finite-state concurrent systems such as circuit designs and communication protocols. In this approach, specifications are expressed in a temporal logic, and the concurrent system is modeled as a state transition graph which amounts to a Kripke structure for this logic. The most relevant advantage of model checking over other methods for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995